Extensions 1→N→G→Q→1 with N=C₂²xD₄ and Q=C₂²

Direct product G=NxQ with N=C₂²xD₄ and Q=C₂²

		d	ρ	Label	ID
D₄xC₂⁴		64		D4xC2^4	128,2320

Semidirect products G=N:Q with N=C₂²xD₄ and Q=C₂²

extension	φ:Q→Out N	d	ρ	Label	ID
(C₂²xD₄):₁C₂² = C₂³:D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16		(C2^2xD4):1C2^2	128,327
(C₂²xD₄):₂C₂² = C₂⁴:₇D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):2C2^2	128,1135
(C₂²xD₄):₃C₂² = C₂³.₃₀₈C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):3C2^2	128,1140
(C₂²xD₄):₄C₂² = C₂⁴:₈D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):4C2^2	128,1142
(C₂²xD₄):₅C₂² = C₂³.₃₂₄C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):5C2^2	128,1156
(C₂²xD₄):₆C₂² = C₂³.₃₃₃C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):6C2^2	128,1165
(C₂²xD₄):₇C₂² = C₂³.₄₃₉C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):7C2^2	128,1271
(C₂²xD₄):₈C₂² = C₂⁴:₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):8C2^2	128,1345
(C₂²xD₄):₉C₂² = C₂⁴:₁₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):9C2^2	128,1349
(C₂²xD₄):₁₀C₂² = C₂³.₅₆₈C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):10C2^2	128,1400
(C₂²xD₄):₁₁C₂² = C₂³.₅₆₉C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):11C2^2	128,1401
(C₂²xD₄):₁₂C₂² = C₂³.₅₇₀C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):12C2^2	128,1402
(C₂²xD₄):₁₃C₂² = C₂³.₅₇₈C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):13C2^2	128,1410
(C₂²xD₄):₁₄C₂² = C₂⁴:₁₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):14C2^2	128,1544
(C₂²xD₄):₁₅C₂² = C₂³wrC₂	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16		(C2^2xD4):15C2^2	128,1578
(C₂²xD₄):₁₆C₂² = C₂⁴:₁₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):16C2^2	128,1579
(C₂²xD₄):₁₇C₂² = C₂⁴.₁₀₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):17C2^2	128,1738
(C₂²xD₄):₁₈C₂² = C₄oD₄:D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):18C2^2	128,1740
(C₂²xD₄):₁₉C₂² = C₂xD₄:₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16		(C2^2xD4):19C2^2	128,1746
(C₂²xD₄):₂₀C₂² = C₄².₁₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4):20C2^2	128,1753
(C₂²xD₄):₂₁C₂² = C₂⁴:C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4):21C2^2	128,1758
(C₂²xD₄):₂₂C₂² = C₂³.₉C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4):22C2^2	128,1759
(C₂²xD₄):₂₃C₂² = C₂³:₃D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):23C2^2	128,1918
(C₂²xD₄):₂₄C₂² = C₂⁴.₁₂₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):24C2^2	128,1924
(C₂²xD₄):₂₅C₂² = C₄.₁₄2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):25C2^2	128,1931
(C₂²xD₄):₂₆C₂² = D₈:₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):26C2^2	128,1996
(C₂²xD₄):₂₇C₂² = D₈:₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):27C2^2	128,2005
(C₂²xD₄):₂₈C₂² = D₄xD₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):28C2^2	128,2011
(C₂²xD₄):₂₉C₂² = C₂xC₂³:₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):29C2^2	128,2177
(C₂²xD₄):₃₀C₂² = C₂xC₂².₂₉C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):30C2^2	128,2178
(C₂²xD₄):₃₁C₂² = C₂xC₂².₃₂C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):31C2^2	128,2182
(C₂²xD₄):₃₂C₂² = C₂².₇₃C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16		(C2^2xD4):32C2^2	128,2216
(C₂²xD₄):₃₃C₂² = C₂².₇₄C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):33C2^2	128,2217
(C₂²xD₄):₃₄C₂² = C₂².₇₇C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):34C2^2	128,2220
(C₂²xD₄):₃₅C₂² = C₂².₇₉C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16		(C2^2xD4):35C2^2	128,2222
(C₂²xD₄):₃₆C₂² = C₄:2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):36C2^2	128,2228
(C₂²xD₄):₃₇C₂² = C₂².₈₇C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):37C2^2	128,2230
(C₂²xD₄):₃₈C₂² = C₂².₉₄C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):38C2^2	128,2237
(C₂²xD₄):₃₉C₂² = C₂².₁₀₈C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):39C2^2	128,2251
(C₂²xD₄):₄₀C₂² = C₂xC₂².₅₄C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):40C2^2	128,2257
(C₂²xD₄):₄₁C₂² = C₄²:C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16		(C2^2xD4):41C2^2	128,2264
(C₂²xD₄):₄₂C₂² = C₂².₁₂₃C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):42C2^2	128,2266
(C₂²xD₄):₄₃C₂² = C₂².₁₂₆C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):43C2^2	128,2269
(C₂²xD₄):₄₄C₂² = C₂².₁₂₉C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):44C2^2	128,2272
(C₂²xD₄):₄₅C₂² = C₂².₁₃₁C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):45C2^2	128,2274
(C₂²xD₄):₄₆C₂² = C₂².₁₃₂C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):46C2^2	128,2275
(C₂²xD₄):₄₇C₂² = C₂².₁₃₄C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):47C2^2	128,2277
(C₂²xD₄):₄₈C₂² = C₂².₁₃₈C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):48C2^2	128,2281
(C₂²xD₄):₄₉C₂² = C₂².₁₄₇C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):49C2^2	128,2290
(C₂²xD₄):₅₀C₂² = C₂xD₄oD₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4):50C2^2	128,2313
(C₂²xD₄):₅₁C₂² = D₈:C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4):51C2^2	128,2317
(C₂²xD₄):₅₂C₂² = 2₊¹⁺⁶	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4):52C2^2	128,2326
(C₂²xD₄):₅₃C₂² = C₂xC₂³:₂D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4):53C2^2	128,1116
(C₂²xD₄):₅₄C₂² = C₂³.₃₀₄C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4):54C2^2	128,1136
(C₂²xD₄):₅₅C₂² = C₂xC₂²:D₈	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4):55C2^2	128,1728
(C₂²xD₄):₅₆C₂² = C₂²xC₂²wrC₂	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4):56C2^2	128,2163
(C₂²xD₄):₅₇C₂² = C₂²xC₄:D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4):57C2^2	128,2164
(C₂²xD₄):₅₈C₂² = C₂xC₂².₁₉C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4):58C2^2	128,2167
(C₂²xD₄):₅₉C₂² = C₂²xC₄:₁D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4):59C2^2	128,2172
(C₂²xD₄):₆₀C₂² = C₂².₃₈C₂⁵	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4):60C2^2	128,2181
(C₂²xD₄):₆₁C₂² = C₂xD₄²	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4):61C2^2	128,2194
(C₂²xD₄):₆₂C₂² = C₂xD₄:₅D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4):62C2^2	128,2195
(C₂²xD₄):₆₃C₂² = D₄xC₄oD₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4):63C2^2	128,2200
(C₂²xD₄):₆₄C₂² = C₂³xD₈	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4):64C2^2	128,2306
(C₂²xD₄):₆₅C₂² = C₂²xC₈:C₂²	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4):65C2^2	128,2310
(C₂²xD₄):₆₆C₂² = C₂xD₈:C₂²	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4):66C2^2	128,2312
(C₂²xD₄):₆₇C₂² = C₂xC₂.C₂⁵	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4):67C2^2	128,2325
(C₂²xD₄):₆₈C₂² = C₂³xC₄oD₄	φ: trivial image	64		(C2^2xD4):68C2^2	128,2322
(C₂²xD₄):₆₉C₂² = C₂²x2₊¹⁺⁴	φ: trivial image	32		(C2^2xD4):69C2^2	128,2323

Non-split extensions G=N.Q with N=C₂²xD₄ and Q=C₂²

extension	φ:Q→Out N	d	ρ	Label	ID
(C₂²xD₄).₁C₂² = C₂⁴.₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).1C2^2	128,122
(C₂²xD₄).₂C₂² = C₂⁴.₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).2C2^2	128,125
(C₂²xD₄).₃C₂² = C₂³:SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16		(C2^2xD4).3C2^2	128,328
(C₂²xD₄).₄C₂² = C₄:C₄.D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).4C2^2	128,329
(C₂²xD₄).₅C₂² = (C₂xC₄):D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).5C2^2	128,330
(C₂²xD₄).₆C₂² = (C₂xC₄):SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).6C2^2	128,331
(C₂²xD₄).₇C₂² = C₂⁴.₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16		(C2^2xD4).7C2^2	128,332
(C₂²xD₄).₈C₂² = 2₊¹⁺⁴:₂C₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).8C2^2	128,522
(C₂²xD₄).₉C₂² = 2₊¹⁺⁴:₃C₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).9C2^2	128,524
(C₂²xD₄).₁₀C₂² = C₄oD₄.D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4).10C2^2	128,527
(C₂²xD₄).₁₁C₂² = C₂⁴.C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4).11C2^2	128,560
(C₂²xD₄).₁₂C₂² = C₂⁴.₆(C₂xC₄)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4).12C2^2	128,561
(C₂²xD₄).₁₃C₂² = C₂⁴.₂₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).13C2^2	128,588
(C₂²xD₄).₁₄C₂² = C₂⁴.₂₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).14C2^2	128,599
(C₂²xD₄).₁₅C₂² = C₂³.₃₈D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).15C2^2	128,606
(C₂²xD₄).₁₆C₂² = C₂⁴.₇₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).16C2^2	128,607
(C₂²xD₄).₁₇C₂² = (C₂xSD₁₆):₁₅C₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).17C2^2	128,612
(C₂²xD₄).₁₈C₂² = C₈:C₂²:C₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).18C2^2	128,615
(C₂²xD₄).₁₉C₂² = C₂⁴.₂₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).19C2^2	128,617
(C₂²xD₄).₂₀C₂² = C₂⁴.₂₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16		(C2^2xD4).20C2^2	128,619
(C₂²xD₄).₂₁C₂² = C₄.₄D₄:₁₃C₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).21C2^2	128,620
(C₂²xD₄).₂₂C₂² = C₂⁵.C₂²	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16		(C2^2xD4).22C2^2	128,621
(C₂²xD₄).₂₃C₂² = C₂⁴.₂₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).23C2^2	128,622
(C₂²xD₄).₂₄C₂² = C₂³.₂₃D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).24C2^2	128,625
(C₂²xD₄).₂₅C₂² = C₂⁴.₇₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).25C2^2	128,627
(C₂²xD₄).₂₆C₂² = C₂⁴.₇₈D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16		(C2^2xD4).26C2^2	128,630
(C₂²xD₄).₂₇C₂² = C₂⁴.₁₇₄C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).27C2^2	128,631
(C₂²xD₄).₂₈C₂² = M₄(2):₂₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).28C2^2	128,632
(C₂²xD₄).₂₉C₂² = M₄(2).₄₇D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4).29C2^2	128,635
(C₂²xD₄).₃₀C₂² = C₄².₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4).30C2^2	128,636
(C₂²xD₄).₃₁C₂² = M₄(2).₄₈D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).31C2^2	128,639
(C₂²xD₄).₃₂C₂² = (C₂xC₈):₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4).32C2^2	128,642
(C₂²xD₄).₃₃C₂² = C₄²:D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4).33C2^2	128,643
(C₂²xD₄).₃₄C₂² = C₂⁴.₂₈D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4).34C2^2	128,645
(C₂²xD₄).₃₅C₂² = M₄(2):₂₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4).35C2^2	128,646
(C₂²xD₄).₃₆C₂² = D₄:C₄:C₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).36C2^2	128,657
(C₂²xD₄).₃₇C₂² = C₄.₆₇(C₄xD₄)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).37C2^2	128,658
(C₂²xD₄).₃₈C₂² = C₄.D₄:₃C₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).38C2^2	128,663
(C₂²xD₄).₃₉C₂² = C₂.(C₈:₇D₄)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).39C2^2	128,666
(C₂²xD₄).₄₀C₂² = C₂.(C₈:₂D₄)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).40C2^2	128,668
(C₂²xD₄).₄₁C₂² = C₄².₄₃₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).41C2^2	128,689
(C₂²xD₄).₄₂C₂² = C₄².₄₃₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).42C2^2	128,690
(C₂²xD₄).₄₃C₂² = C₄².₁₁₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).43C2^2	128,691
(C₂²xD₄).₄₄C₂² = C₄².₁₁₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).44C2^2	128,693
(C₂²xD₄).₄₅C₂² = C₂⁴.₁₇₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).45C2^2	128,696
(C₂²xD₄).₄₆C₂² = M₄(2):₁₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).46C2^2	128,697
(C₂²xD₄).₄₇C₂² = C₄².₁₁₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).47C2^2	128,699
(C₂²xD₄).₄₈C₂² = (C₂xC₄):₉SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).48C2^2	128,700
(C₂²xD₄).₄₉C₂² = (C₂xC₄):₆D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).49C2^2	128,702
(C₂²xD₄).₅₀C₂² = (C₂xD₈):₁₀C₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).50C2^2	128,704
(C₂²xD₄).₅₁C₂² = C₈:(C₂²:C₄)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).51C2^2	128,705
(C₂²xD₄).₅₂C₂² = M₄(2).₃₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).52C2^2	128,709
(C₂²xD₄).₅₃C₂² = M₄(2).₃₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).53C2^2	128,710
(C₂²xD₄).₅₄C₂² = C₄².₁₁₈D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).54C2^2	128,714
(C₂²xD₄).₅₅C₂² = C₄².₁₁₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).55C2^2	128,715
(C₂²xD₄).₅₆C₂² = C₂³:₂D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).56C2^2	128,731
(C₂²xD₄).₅₇C₂² = C₂³:₃SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).57C2^2	128,732
(C₂²xD₄).₅₈C₂² = C₄²:₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16		(C2^2xD4).58C2^2	128,734
(C₂²xD₄).₅₉C₂² = C₄².₁₂₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).59C2^2	128,735
(C₂²xD₄).₆₀C₂² = C₄²:₁₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).60C2^2	128,736
(C₂²xD₄).₆₁C₂² = M₄(2):D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).61C2^2	128,738
(C₂²xD₄).₆₂C₂² = M₄(2):₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4).62C2^2	128,740
(C₂²xD₄).₆₃C₂² = (C₂xC₄):₂D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).63C2^2	128,743
(C₂²xD₄).₆₄C₂² = (C₂²xD₈).C₂	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).64C2^2	128,744
(C₂²xD₄).₆₅C₂² = (C₂xC₄):₃SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).65C2^2	128,745
(C₂²xD₄).₆₆C₂² = (C₂xC₈):₂₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).66C2^2	128,746
(C₂²xD₄).₆₇C₂² = (C₂xC₈).₄₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).67C2^2	128,747
(C₂²xD₄).₆₈C₂² = M₄(2).₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).68C2^2	128,750
(C₂²xD₄).₆₉C₂² = M₄(2).₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).69C2^2	128,751
(C₂²xD₄).₇₀C₂² = C₂⁴:D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16		(C2^2xD4).70C2^2	128,753
(C₂²xD₄).₇₁C₂² = C₂⁴.₃₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).71C2^2	128,754
(C₂²xD₄).₇₂C₂² = (C₂xD₄):Q₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).72C2^2	128,755
(C₂²xD₄).₇₃C₂² = C₄:C₄.₈₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).73C2^2	128,757
(C₂²xD₄).₇₄C₂² = (C₂xD₄):₂Q₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).74C2^2	128,759
(C₂²xD₄).₇₅C₂² = C₂⁴:Q₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4).75C2^2	128,764
(C₂²xD₄).₇₆C₂² = C₂⁴.₈₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).76C2^2	128,765
(C₂²xD₄).₇₇C₂² = C₂⁴.₈₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).77C2^2	128,766
(C₂²xD₄).₇₈C₂² = M₄(2):₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).78C2^2	128,769
(C₂²xD₄).₇₉C₂² = C₄:C₄:₇D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).79C2^2	128,773
(C₂²xD₄).₈₀C₂² = C₄:C₄.₉₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).80C2^2	128,774
(C₂²xD₄).₈₁C₂² = C₂⁴.₃₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).81C2^2	128,776
(C₂²xD₄).₈₂C₂² = C₄:C₄.₉₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).82C2^2	128,777
(C₂²xD₄).₈₃C₂² = C₄:C₄.₉₇D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).83C2^2	128,778
(C₂²xD₄).₈₄C₂² = M₄(2).₈D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4).84C2^2	128,780
(C₂²xD₄).₈₅C₂² = M₄(2).₁₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).85C2^2	128,783
(C₂²xD₄).₈₆C₂² = (C₂xC₄):₃D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).86C2^2	128,786
(C₂²xD₄).₈₇C₂² = (C₂xC₄):₅SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).87C2^2	128,787
(C₂²xD₄).₈₈C₂² = M₄(2).₁₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).88C2^2	128,795
(C₂²xD₄).₈₉C₂² = C₄:C₄.₁₀₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).89C2^2	128,797
(C₂²xD₄).₉₀C₂² = (C₂xC₄).₂₃D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).90C2^2	128,799
(C₂²xD₄).₉₁C₂² = C₂⁴.Q₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4).91C2^2	128,801
(C₂²xD₄).₉₂C₂² = (C₂xC₄).₂₄D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).92C2^2	128,803
(C₂²xD₄).₉₃C₂² = C₄²:₈C₄:C₂	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).93C2^2	128,805
(C₂²xD₄).₉₄C₂² = (C₂xC₈).D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4).94C2^2	128,813
(C₂²xD₄).₉₅C₂² = (C₂xC₈).₁₆₈D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).95C2^2	128,824
(C₂²xD₄).₉₆C₂² = (C₂xC₄).₂₇D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).96C2^2	128,825
(C₂²xD₄).₉₇C₂² = (C₂xC₈).₁₆₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).97C2^2	128,826
(C₂²xD₄).₉₈C₂² = C₂xC₂wrC₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16		(C2^2xD4).98C2^2	128,850
(C₂²xD₄).₉₉C₂² = C₂xC₂³.D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).99C2^2	128,851
(C₂²xD₄).₁₀₀C₂² = C₂⁴.₃₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4).100C2^2	128,853
(C₂²xD₄).₁₀₁C₂² = C₂xC₄²:C₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16		(C2^2xD4).101C2^2	128,856
(C₂²xD₄).₁₀₂C₂² = C₂xC₄²:₃C₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).102C2^2	128,857
(C₂²xD₄).₁₀₃C₂² = C₂⁴.₃₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4).103C2^2	128,859
(C₂²xD₄).₁₀₄C₂² = C₂³.₂₀₃C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).104C2^2	128,1053
(C₂²xD₄).₁₀₅C₂² = C₄²:₁₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).105C2^2	128,1056
(C₂²xD₄).₁₀₆C₂² = C₄²:₁₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).106C2^2	128,1060
(C₂²xD₄).₁₀₇C₂² = C₂³.₂₁₅C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).107C2^2	128,1065
(C₂²xD₄).₁₀₈C₂² = C₂⁴.₂₀₄C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).108C2^2	128,1067
(C₂²xD₄).₁₀₉C₂² = C₂⁴.₂₀₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).109C2^2	128,1069
(C₂²xD₄).₁₁₀C₂² = C₂⁴.₂₂₁C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).110C2^2	128,1104
(C₂²xD₄).₁₁₁C₂² = C₂⁴.₂₂₃C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).111C2^2	128,1106
(C₂²xD₄).₁₁₂C₂² = C₂³.₂₅₇C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).112C2^2	128,1107
(C₂²xD₄).₁₁₃C₂² = C₂⁴.₂₂₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).113C2^2	128,1108
(C₂²xD₄).₁₁₄C₂² = C₂³.₂₅₉C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).114C2^2	128,1109
(C₂²xD₄).₁₁₅C₂² = C₂³.₂₆₁C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).115C2^2	128,1111
(C₂²xD₄).₁₁₆C₂² = C₂³.₂₆₂C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).116C2^2	128,1112
(C₂²xD₄).₁₁₇C₂² = C₂³.₃₁₁C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).117C2^2	128,1143
(C₂²xD₄).₁₁₈C₂² = C₂⁴.₉₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).118C2^2	128,1144
(C₂²xD₄).₁₁₉C₂² = C₂³.₃₁₃C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).119C2^2	128,1145
(C₂²xD₄).₁₂₀C₂² = C₂³.₃₁₆C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).120C2^2	128,1148
(C₂²xD₄).₁₂₁C₂² = C₂³.₃₁₈C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).121C2^2	128,1150
(C₂²xD₄).₁₂₂C₂² = C₂⁴.₂₅₄C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).122C2^2	128,1152
(C₂²xD₄).₁₂₃C₂² = C₂³.₃₂₂C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).123C2^2	128,1154
(C₂²xD₄).₁₂₄C₂² = C₂⁴.₂₅₉C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).124C2^2	128,1158
(C₂²xD₄).₁₂₅C₂² = C₂³.₃₂₇C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).125C2^2	128,1159
(C₂²xD₄).₁₂₆C₂² = C₂³.₃₂₈C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).126C2^2	128,1160
(C₂²xD₄).₁₂₇C₂² = C₂⁴.₂₆₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).127C2^2	128,1162
(C₂²xD₄).₁₂₈C₂² = C₂⁴.₂₆₃C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).128C2^2	128,1163
(C₂²xD₄).₁₂₉C₂² = C₂⁴.₅₆₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).129C2^2	128,1168
(C₂²xD₄).₁₃₀C₂² = C₂⁴.₂₆₉C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).130C2^2	128,1175
(C₂²xD₄).₁₃₁C₂² = C₂³.₃₄₄C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).131C2^2	128,1176
(C₂²xD₄).₁₃₂C₂² = C₂³.₃₄₅C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).132C2^2	128,1177
(C₂²xD₄).₁₃₃C₂² = C₂³.₃₄₈C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).133C2^2	128,1180
(C₂²xD₄).₁₃₄C₂² = C₂⁴.₂₇₉C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).134C2^2	128,1190
(C₂²xD₄).₁₃₅C₂² = C₂⁴.₂₈₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).135C2^2	128,1193
(C₂²xD₄).₁₃₆C₂² = C₂³.₃₆₄C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).136C2^2	128,1196
(C₂²xD₄).₁₃₇C₂² = C₂⁴.₂₈₉C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).137C2^2	128,1202
(C₂²xD₄).₁₃₈C₂² = C₂⁴.₂₉₀C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).138C2^2	128,1203
(C₂²xD₄).₁₃₉C₂² = C₂³.₃₇₂C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).139C2^2	128,1204
(C₂²xD₄).₁₄₀C₂² = C₂³.₃₇₄C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).140C2^2	128,1206
(C₂²xD₄).₁₄₁C₂² = C₂⁴.₂₉₃C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).141C2^2	128,1208
(C₂²xD₄).₁₄₂C₂² = C₂³.₃₇₇C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).142C2^2	128,1209
(C₂²xD₄).₁₄₃C₂² = C₂³.₃₇₉C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).143C2^2	128,1211
(C₂²xD₄).₁₄₄C₂² = C₂⁴.₅₇₃C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).144C2^2	128,1213
(C₂²xD₄).₁₄₅C₂² = C₂³.₃₈₈C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).145C2^2	128,1220
(C₂²xD₄).₁₄₆C₂² = C₂³.₃₉₀C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).146C2^2	128,1222
(C₂²xD₄).₁₄₇C₂² = C₂³.₃₉₁C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).147C2^2	128,1223
(C₂²xD₄).₁₄₈C₂² = C₂³.₃₉₈C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).148C2^2	128,1230
(C₂²xD₄).₁₄₉C₂² = C₂³.₄₀₀C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).149C2^2	128,1232
(C₂²xD₄).₁₅₀C₂² = C₂³.₄₀₁C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).150C2^2	128,1233
(C₂²xD₄).₁₅₁C₂² = C₂³.₄₀₄C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).151C2^2	128,1236
(C₂²xD₄).₁₅₂C₂² = C₂³.₄₁₀C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).152C2^2	128,1242
(C₂²xD₄).₁₅₃C₂² = C₂³.₄₁₂C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).153C2^2	128,1244
(C₂²xD₄).₁₅₄C₂² = C₂³.₄₁₃C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).154C2^2	128,1245
(C₂²xD₄).₁₅₅C₂² = C₂³.₄₁₆C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).155C2^2	128,1248
(C₂²xD₄).₁₅₆C₂² = C₂³.₄₁₈C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).156C2^2	128,1250
(C₂²xD₄).₁₅₇C₂² = C₂⁴.₃₁₁C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).157C2^2	128,1253
(C₂²xD₄).₁₅₈C₂² = C₂³.₄₂₆C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).158C2^2	128,1258
(C₂²xD₄).₁₅₉C₂² = C₂³.₄₃₁C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).159C2^2	128,1263
(C₂²xD₄).₁₆₀C₂² = C₂³.₄₃₄C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).160C2^2	128,1266
(C₂²xD₄).₁₆₁C₂² = C₄²:₁₈D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).161C2^2	128,1269
(C₂²xD₄).₁₆₂C₂² = C₄²:₁₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).162C2^2	128,1272
(C₂²xD₄).₁₆₃C₂² = C₄²:₂₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).163C2^2	128,1273
(C₂²xD₄).₁₆₄C₂² = C₂³.₄₄₃C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).164C2^2	128,1275
(C₂²xD₄).₁₆₅C₂² = C₄²:₂₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).165C2^2	128,1276
(C₂²xD₄).₁₆₆C₂² = C₄².₁₆₈D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).166C2^2	128,1277
(C₂²xD₄).₁₆₇C₂² = C₄².₁₇₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).167C2^2	128,1280
(C₂²xD₄).₁₆₈C₂² = C₂⁴.₃₂₆C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).168C2^2	128,1285
(C₂²xD₄).₁₆₉C₂² = C₂⁴.₃₂₇C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).169C2^2	128,1286
(C₂²xD₄).₁₇₀C₂² = C₂³.₄₅₅C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).170C2^2	128,1287
(C₂²xD₄).₁₇₁C₂² = C₂³.₄₅₇C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).171C2^2	128,1289
(C₂²xD₄).₁₇₂C₂² = C₂³.₄₅₈C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).172C2^2	128,1290
(C₂²xD₄).₁₇₃C₂² = C₂⁴.₃₃₁C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).173C2^2	128,1291
(C₂²xD₄).₁₇₄C₂² = C₂⁴.₃₃₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).174C2^2	128,1292
(C₂²xD₄).₁₇₅C₂² = C₂³.₄₇₂C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).175C2^2	128,1304
(C₂²xD₄).₁₇₆C₂² = C₂⁴.₃₄₀C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).176C2^2	128,1308
(C₂²xD₄).₁₇₇C₂² = C₂³.₄₇₈C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).177C2^2	128,1310
(C₂²xD₄).₁₇₈C₂² = C₂³.₄₉₁C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).178C2^2	128,1323
(C₂²xD₄).₁₇₉C₂² = C₄².₁₈₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).179C2^2	128,1324
(C₂²xD₄).₁₈₀C₂² = C₂³.₄₉₃C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).180C2^2	128,1325
(C₂²xD₄).₁₈₁C₂² = C₂⁴.₃₄₇C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).181C2^2	128,1327
(C₂²xD₄).₁₈₂C₂² = C₂⁴.₃₄₈C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).182C2^2	128,1329
(C₂²xD₄).₁₈₃C₂² = C₄²:₂₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).183C2^2	128,1330
(C₂²xD₄).₁₈₄C₂² = C₄²:₂₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).184C2^2	128,1333
(C₂²xD₄).₁₈₅C₂² = C₄²:₂₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).185C2^2	128,1335
(C₂²xD₄).₁₈₆C₂² = C₄²:₂₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).186C2^2	128,1341
(C₂²xD₄).₁₈₇C₂² = C₄²:₂₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).187C2^2	128,1342
(C₂²xD₄).₁₈₈C₂² = C₂³.₅₁₄C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).188C2^2	128,1346
(C₂²xD₄).₁₈₉C₂² = C₂⁴.₃₆₀C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).189C2^2	128,1347
(C₂²xD₄).₁₉₀C₂² = C₂⁴.₅₈₇C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).190C2^2	128,1350
(C₂²xD₄).₁₉₁C₂² = C₄²:₂₇D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).191C2^2	128,1351
(C₂²xD₄).₁₉₂C₂² = C₄²:₂₈D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).192C2^2	128,1352
(C₂²xD₄).₁₉₃C₂² = C₂⁴.₉₇D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).193C2^2	128,1354
(C₂²xD₄).₁₉₄C₂² = C₂⁴.₅₈₉C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).194C2^2	128,1355
(C₂²xD₄).₁₉₅C₂² = C₂³.₅₂₄C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).195C2^2	128,1356
(C₂²xD₄).₁₉₆C₂² = C₄².₁₈₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).196C2^2	128,1364
(C₂²xD₄).₁₉₇C₂² = C₂⁴.₅₉₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).197C2^2	128,1371
(C₂²xD₄).₁₉₈C₂² = C₄².₁₉₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).198C2^2	128,1372
(C₂²xD₄).₁₉₉C₂² = C₄².₁₉₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).199C2^2	128,1373
(C₂²xD₄).₂₀₀C₂² = C₂³.₅₄₃C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).200C2^2	128,1375
(C₂²xD₄).₂₀₁C₂² = C₂³.₅₄₄C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).201C2^2	128,1376
(C₂²xD₄).₂₀₂C₂² = C₂³.₅₄₈C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).202C2^2	128,1380
(C₂²xD₄).₂₀₃C₂² = C₂⁴.₃₇₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).203C2^2	128,1381
(C₂²xD₄).₂₀₄C₂² = C₂³.₅₅₁C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).204C2^2	128,1383
(C₂²xD₄).₂₀₅C₂² = C₂³.₅₅₃C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).205C2^2	128,1385
(C₂²xD₄).₂₀₆C₂² = C₂³.₅₅₆C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).206C2^2	128,1388
(C₂²xD₄).₂₀₇C₂² = C₄²:₃₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).207C2^2	128,1389
(C₂²xD₄).₂₀₈C₂² = C₄².₁₉₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).208C2^2	128,1390
(C₂²xD₄).₂₀₉C₂² = C₂⁴.₃₇₇C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).209C2^2	128,1393
(C₂²xD₄).₂₁₀C₂² = C₄²:₃₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).210C2^2	128,1394
(C₂²xD₄).₂₁₁C₂² = C₂⁴.₃₇₈C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).211C2^2	128,1395
(C₂²xD₄).₂₁₂C₂² = C₂³.₅₇₁C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).212C2^2	128,1403
(C₂²xD₄).₂₁₃C₂² = C₂³.₅₇₂C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).213C2^2	128,1404
(C₂²xD₄).₂₁₄C₂² = C₂³.₅₇₃C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).214C2^2	128,1405
(C₂²xD₄).₂₁₅C₂² = C₂³.₅₇₄C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).215C2^2	128,1406
(C₂²xD₄).₂₁₆C₂² = C₂⁴.₃₈₄C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).216C2^2	128,1407
(C₂²xD₄).₂₁₇C₂² = C₂³.₅₇₆C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).217C2^2	128,1408
(C₂²xD₄).₂₁₈C₂² = C₂⁵:C₂²	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).218C2^2	128,1411
(C₂²xD₄).₂₁₉C₂² = C₂³.₅₈₀C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).219C2^2	128,1412
(C₂²xD₄).₂₂₀C₂² = C₂³.₅₈₁C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).220C2^2	128,1413
(C₂²xD₄).₂₂₁C₂² = C₂⁴.₃₈₉C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).221C2^2	128,1414
(C₂²xD₄).₂₂₂C₂² = C₂³.₅₈₃C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).222C2^2	128,1415
(C₂²xD₄).₂₂₃C₂² = C₂³.₅₈₄C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).223C2^2	128,1416
(C₂²xD₄).₂₂₄C₂² = C₂³.₅₈₅C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).224C2^2	128,1417
(C₂²xD₄).₂₂₅C₂² = C₂⁴.₃₉₃C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).225C2^2	128,1418
(C₂²xD₄).₂₂₆C₂² = C₂⁴.₃₉₄C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).226C2^2	128,1419
(C₂²xD₄).₂₂₇C₂² = C₂⁴.₃₉₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).227C2^2	128,1420
(C₂²xD₄).₂₂₈C₂² = C₂³.₅₉₁C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).228C2^2	128,1423
(C₂²xD₄).₂₂₉C₂² = C₂³.₅₉₂C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).229C2^2	128,1424
(C₂²xD₄).₂₃₀C₂² = C₂³.₅₉₃C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).230C2^2	128,1425
(C₂²xD₄).₂₃₁C₂² = C₂⁴.₄₀₁C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).231C2^2	128,1426
(C₂²xD₄).₂₃₂C₂² = C₂³.₅₉₅C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).232C2^2	128,1427
(C₂²xD₄).₂₃₃C₂² = C₂⁴.₄₀₃C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).233C2^2	128,1428
(C₂²xD₄).₂₃₄C₂² = C₂³.₅₉₇C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).234C2^2	128,1429
(C₂²xD₄).₂₃₅C₂² = C₂⁴.₄₀₆C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).235C2^2	128,1431
(C₂²xD₄).₂₃₆C₂² = C₂³.₆₀₀C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).236C2^2	128,1432
(C₂²xD₄).₂₃₇C₂² = C₂⁴.₄₀₇C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).237C2^2	128,1433
(C₂²xD₄).₂₃₈C₂² = C₂³.₆₀₂C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).238C2^2	128,1434
(C₂²xD₄).₂₃₉C₂² = C₂³.₆₀₃C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).239C2^2	128,1435
(C₂²xD₄).₂₄₀C₂² = C₂³.₆₀₅C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).240C2^2	128,1437
(C₂²xD₄).₂₄₁C₂² = C₂³.₆₀₆C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).241C2^2	128,1438
(C₂²xD₄).₂₄₂C₂² = C₂³.₆₀₇C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).242C2^2	128,1439
(C₂²xD₄).₂₄₃C₂² = C₂³.₆₀₈C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).243C2^2	128,1440
(C₂²xD₄).₂₄₄C₂² = C₂⁴.₄₁₁C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).244C2^2	128,1441
(C₂²xD₄).₂₄₅C₂² = C₂⁴.₄₁₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).245C2^2	128,1442
(C₂²xD₄).₂₄₆C₂² = C₂³.₆₁₁C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).246C2^2	128,1443
(C₂²xD₄).₂₄₇C₂² = C₂³.₆₁₂C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).247C2^2	128,1444
(C₂²xD₄).₂₄₈C₂² = C₂⁴.₄₁₃C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).248C2^2	128,1446
(C₂²xD₄).₂₄₉C₂² = C₂³.₆₁₅C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).249C2^2	128,1447
(C₂²xD₄).₂₅₀C₂² = C₂³.₆₁₇C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).250C2^2	128,1449
(C₂²xD₄).₂₅₁C₂² = C₂³.₆₁₈C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).251C2^2	128,1450
(C₂²xD₄).₂₅₂C₂² = C₂⁴.₄₁₈C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).252C2^2	128,1455
(C₂²xD₄).₂₅₃C₂² = C₂³.₆₂₄C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).253C2^2	128,1456
(C₂²xD₄).₂₅₄C₂² = C₂³.₆₂₇C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).254C2^2	128,1459
(C₂²xD₄).₂₅₅C₂² = C₂⁴.₄₂₀C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).255C2^2	128,1460
(C₂²xD₄).₂₅₆C₂² = C₂³.₆₃₀C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).256C2^2	128,1462
(C₂²xD₄).₂₅₇C₂² = C₂³.₆₃₁C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).257C2^2	128,1463
(C₂²xD₄).₂₅₈C₂² = C₂³.₆₃₂C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).258C2^2	128,1464
(C₂²xD₄).₂₅₉C₂² = C₂³.₆₃₃C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).259C2^2	128,1465
(C₂²xD₄).₂₆₀C₂² = C₂³.₆₃₇C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).260C2^2	128,1469
(C₂²xD₄).₂₆₁C₂² = C₂³.₆₄₀C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).261C2^2	128,1472
(C₂²xD₄).₂₆₂C₂² = C₂³.₆₄₁C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).262C2^2	128,1473
(C₂²xD₄).₂₆₃C₂² = C₂³.₆₄₃C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).263C2^2	128,1475
(C₂²xD₄).₂₆₄C₂² = C₂⁴.₄₃₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).264C2^2	128,1478
(C₂²xD₄).₂₆₅C₂² = C₂⁴.₄₃₄C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).265C2^2	128,1480
(C₂²xD₄).₂₆₆C₂² = C₂³.₆₄₉C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).266C2^2	128,1481
(C₂²xD₄).₂₆₇C₂² = C₂⁴.₄₃₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).267C2^2	128,1482
(C₂²xD₄).₂₆₈C₂² = C₂³.₆₅₁C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).268C2^2	128,1483
(C₂²xD₄).₂₆₉C₂² = C₂³.₆₅₂C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).269C2^2	128,1484
(C₂²xD₄).₂₇₀C₂² = C₂⁴.₄₃₇C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).270C2^2	128,1485
(C₂²xD₄).₂₇₁C₂² = C₂³.₆₅₆C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).271C2^2	128,1488
(C₂²xD₄).₂₇₂C₂² = C₂⁴.₄₃₈C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).272C2^2	128,1489
(C₂²xD₄).₂₇₃C₂² = C₂³.₆₆₀C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).273C2^2	128,1492
(C₂²xD₄).₂₇₄C₂² = C₂⁴.₄₄₀C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).274C2^2	128,1493
(C₂²xD₄).₂₇₅C₂² = C₂³.₆₇₈C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).275C2^2	128,1510
(C₂²xD₄).₂₇₆C₂² = C₂³.₆₇₉C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).276C2^2	128,1511
(C₂²xD₄).₂₇₇C₂² = C₂⁴.₄₄₈C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).277C2^2	128,1512
(C₂²xD₄).₂₇₈C₂² = C₂³.₆₈₁C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).278C2^2	128,1513
(C₂²xD₄).₂₇₉C₂² = C₂³.₆₈₂C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).279C2^2	128,1514
(C₂²xD₄).₂₈₀C₂² = C₂⁴.₄₅₀C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).280C2^2	128,1516
(C₂²xD₄).₂₈₁C₂² = C₂³.₆₈₅C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).281C2^2	128,1517
(C₂²xD₄).₂₈₂C₂² = C₂³.₆₈₆C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).282C2^2	128,1518
(C₂²xD₄).₂₈₃C₂² = C₂³.₆₉₅C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).283C2^2	128,1527
(C₂²xD₄).₂₈₄C₂² = C₂³.₆₉₆C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).284C2^2	128,1528
(C₂²xD₄).₂₈₅C₂² = C₂³.₆₉₇C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).285C2^2	128,1529
(C₂²xD₄).₂₈₆C₂² = C₂³.₇₀₀C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).286C2^2	128,1532
(C₂²xD₄).₂₈₇C₂² = C₂³.₇₀₁C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).287C2^2	128,1533
(C₂²xD₄).₂₈₈C₂² = C₂³.₇₀₃C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).288C2^2	128,1535
(C₂²xD₄).₂₈₉C₂² = C₂⁴.₄₅₆C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).289C2^2	128,1536
(C₂²xD₄).₂₉₀C₂² = C₂³.₇₀₈C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).290C2^2	128,1540
(C₂²xD₄).₂₉₁C₂² = C₂⁴.₄₅₉C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).291C2^2	128,1545
(C₂²xD₄).₂₉₂C₂² = C₂³.₇₁₄C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).292C2^2	128,1546
(C₂²xD₄).₂₉₃C₂² = C₂³.₇₁₅C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).293C2^2	128,1547
(C₂²xD₄).₂₉₄C₂² = C₂³.₇₁₆C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).294C2^2	128,1548
(C₂²xD₄).₂₉₅C₂² = C₄²:₃₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).295C2^2	128,1550
(C₂²xD₄).₂₉₆C₂² = C₄²:₃₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).296C2^2	128,1551
(C₂²xD₄).₂₉₇C₂² = C₄².₁₉₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).297C2^2	128,1552
(C₂²xD₄).₂₉₈C₂² = C₄²:₃₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).298C2^2	128,1555
(C₂²xD₄).₂₉₉C₂² = C₂³.₇₂₄C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).299C2^2	128,1556
(C₂²xD₄).₃₀₀C₂² = C₂³.₇₂₅C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).300C2^2	128,1557
(C₂²xD₄).₃₀₁C₂² = C₂³.₇₂₆C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).301C2^2	128,1558
(C₂²xD₄).₃₀₂C₂² = C₂³.₇₂₇C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).302C2^2	128,1559
(C₂²xD₄).₃₀₃C₂² = C₂³.₇₂₈C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).303C2^2	128,1560
(C₂²xD₄).₃₀₄C₂² = C₂³.₇₂₉C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).304C2^2	128,1561
(C₂²xD₄).₃₀₅C₂² = C₂³.₇₃₀C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).305C2^2	128,1562
(C₂²xD₄).₃₀₆C₂² = C₂³.₇₃₂C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).306C2^2	128,1564
(C₂²xD₄).₃₀₇C₂² = C₂³.₇₃₇C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).307C2^2	128,1569
(C₂²xD₄).₃₀₈C₂² = C₂⁴.₁₆₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).308C2^2	128,1581
(C₂²xD₄).₃₀₉C₂² = C₄²:₄₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).309C2^2	128,1582
(C₂²xD₄).₃₁₀C₂² = C₄²:₄₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).310C2^2	128,1584
(C₂²xD₄).₃₁₁C₂² = C₂³.₇₅₃C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).311C2^2	128,1585
(C₂²xD₄).₃₁₂C₂² = C₂⁴.₅₉₈C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).312C2^2	128,1586
(C₂²xD₄).₃₁₃C₂² = C₄²:₄₇D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).313C2^2	128,1588
(C₂²xD₄).₃₁₄C₂² = C₄³:₁₂C₂	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).314C2^2	128,1590
(C₂²xD₄).₃₁₅C₂² = C₄³:₁₃C₂	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).315C2^2	128,1592
(C₂²xD₄).₃₁₆C₂² = C₄³:₁₄C₂	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).316C2^2	128,1593
(C₂²xD₄).₃₁₇C₂² = C₄³:₁₅C₂	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).317C2^2	128,1599
(C₂²xD₄).₃₁₈C₂² = C₂³.C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4).318C2^2	128,1615
(C₂²xD₄).₃₁₉C₂² = M₄(2).₂₄C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4).319C2^2	128,1620
(C₂²xD₄).₃₂₀C₂² = 2₊¹⁺⁴:₅C₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).320C2^2	128,1629
(C₂²xD₄).₃₂₁C₂² = C₄².₂₇₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).321C2^2	128,1678
(C₂²xD₄).₃₂₂C₂² = C₄².₂₇₇C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).322C2^2	128,1680
(C₂²xD₄).₃₂₃C₂² = C₄².₂₇₈C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).323C2^2	128,1681
(C₂²xD₄).₃₂₄C₂² = C₂xQ₈:D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).324C2^2	128,1730
(C₂²xD₄).₃₂₅C₂² = C₂xD₄:D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).325C2^2	128,1732
(C₂²xD₄).₃₂₆C₂² = D₄.(C₂xD₄)	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).326C2^2	128,1741
(C₂²xD₄).₃₂₇C₂² = (C₂xQ₈):₁₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).327C2^2	128,1742
(C₂²xD₄).₃₂₈C₂² = (C₂xD₄):₂₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).328C2^2	128,1744
(C₂²xD₄).₃₂₉C₂² = C₂xD₄.₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).329C2^2	128,1747
(C₂²xD₄).₃₃₀C₂² = C₂xD₄.₈D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).330C2^2	128,1748
(C₂²xD₄).₃₃₁C₂² = M₄(2):C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4).331C2^2	128,1751
(C₂²xD₄).₃₃₂C₂² = C₂xC₂wrC₂²	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16		(C2^2xD4).332C2^2	128,1755
(C₂²xD₄).₃₃₃C₂² = C₂xC₂³.₇D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).333C2^2	128,1756
(C₂²xD₄).₃₃₄C₂² = C₂xC₄:D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).334C2^2	128,1761
(C₂²xD₄).₃₃₅C₂² = C₂xD₄.₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).335C2^2	128,1763
(C₂²xD₄).₃₃₆C₂² = C₂xC₄:SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).336C2^2	128,1764
(C₂²xD₄).₃₃₇C₂² = C₂xQ₈.D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).337C2^2	128,1766
(C₂²xD₄).₃₃₈C₂² = C₄².₄₄₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).338C2^2	128,1770
(C₂²xD₄).₃₃₉C₂² = C₄².₄₄₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).339C2^2	128,1772
(C₂²xD₄).₃₄₀C₂² = C₄².₁₄C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).340C2^2	128,1773
(C₂²xD₄).₃₄₁C₂² = C₄².₁₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).341C2^2	128,1774
(C₂²xD₄).₃₄₂C₂² = C₄².₁₆C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).342C2^2	128,1775
(C₂²xD₄).₃₄₃C₂² = C₄².₁₈C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).343C2^2	128,1777
(C₂²xD₄).₃₄₄C₂² = C₂xC₈:₈D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).344C2^2	128,1779
(C₂²xD₄).₃₄₅C₂² = C₂xC₈:₇D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).345C2^2	128,1780
(C₂²xD₄).₃₄₆C₂² = C₂xC₈:D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).346C2^2	128,1783
(C₂²xD₄).₃₄₇C₂² = C₂xC₈:₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).347C2^2	128,1784
(C₂²xD₄).₃₄₈C₂² = M₄(2):₁₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).348C2^2	128,1787
(C₂²xD₄).₃₄₉C₂² = (C₂xC₈):₁₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).349C2^2	128,1789
(C₂²xD₄).₃₅₀C₂² = (C₂xC₈):₁₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).350C2^2	128,1790
(C₂²xD₄).₃₅₁C₂² = M₄(2):₁₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).351C2^2	128,1794
(C₂²xD₄).₃₅₂C₂² = C₂xD₄.₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).352C2^2	128,1796
(C₂²xD₄).₃₅₃C₂² = C₂xD₄.₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).353C2^2	128,1797
(C₂²xD₄).₃₅₄C₂² = M₄(2).₃₇D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	16	8+	(C2^2xD4).354C2^2	128,1800
(C₂²xD₄).₃₅₅C₂² = C₄².₂₀C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).355C2^2	128,1813
(C₂²xD₄).₃₅₆C₂² = C₂xC₂².D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).356C2^2	128,1817
(C₂²xD₄).₃₅₇C₂² = C₂xC₂³.₁₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).357C2^2	128,1819
(C₂²xD₄).₃₅₈C₂² = C₂xC₂³.₄₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).358C2^2	128,1821
(C₂²xD₄).₃₅₉C₂² = C₂⁴.₁₁₇D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).359C2^2	128,1826
(C₂²xD₄).₃₆₀C₂² = (C₂xD₄).₃₀₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).360C2^2	128,1828
(C₂²xD₄).₃₆₁C₂² = C₄².₃₅₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).361C2^2	128,1850
(C₂²xD₄).₃₆₂C₂² = C₄².₃₅₆C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).362C2^2	128,1854
(C₂²xD₄).₃₆₃C₂² = C₄².₃₅₇C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).363C2^2	128,1855
(C₂²xD₄).₃₆₄C₂² = C₂xC₄.₄D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).364C2^2	128,1860
(C₂²xD₄).₃₆₅C₂² = C₂xC₄².₇₈C₂²	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).365C2^2	128,1862
(C₂²xD₄).₃₆₆C₂² = C₂xC₄².₂₈C₂²	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).366C2^2	128,1864
(C₂²xD₄).₃₆₇C₂² = C₂xC₄².₂₉C₂²	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).367C2^2	128,1865
(C₂²xD₄).₃₆₈C₂² = C₄².₃₆₆C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).368C2^2	128,1868
(C₂²xD₄).₃₆₉C₂² = C₄².₂₄₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).369C2^2	128,1870
(C₂²xD₄).₃₇₀C₂² = C₄².₂₄₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).370C2^2	128,1872
(C₂²xD₄).₃₇₁C₂² = C₂xC₈:₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).371C2^2	128,1875
(C₂²xD₄).₃₇₂C₂² = C₂xC₈:₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).372C2^2	128,1876
(C₂²xD₄).₃₇₃C₂² = C₂xC₈.₁₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).373C2^2	128,1878
(C₂²xD₄).₃₇₄C₂² = C₂xC₈:₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).374C2^2	128,1880
(C₂²xD₄).₃₇₅C₂² = C₂xC₈.₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).375C2^2	128,1881
(C₂²xD₄).₃₇₆C₂² = M₄(2):₇D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).376C2^2	128,1883
(C₂²xD₄).₃₇₇C₂² = M₄(2):₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).377C2^2	128,1885
(C₂²xD₄).₃₇₈C₂² = M₄(2):₁₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).378C2^2	128,1886
(C₂²xD₄).₃₇₉C₂² = M₄(2):₁₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).379C2^2	128,1887
(C₂²xD₄).₃₈₀C₂² = C₂³:₄SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).380C2^2	128,1919
(C₂²xD₄).₃₈₁C₂² = C₂⁴.₁₂₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).381C2^2	128,1920
(C₂²xD₄).₃₈₂C₂² = C₂⁴.₁₂₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).382C2^2	128,1925
(C₂²xD₄).₃₈₃C₂² = C₂⁴.₁₂₇D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).383C2^2	128,1926
(C₂²xD₄).₃₈₄C₂² = C₄.2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).384C2^2	128,1930
(C₂²xD₄).₃₈₅C₂² = C₄.₁₅2₊¹⁺⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).385C2^2	128,1932
(C₂²xD₄).₃₈₆C₂² = C₄².₂₆₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).386C2^2	128,1937
(C₂²xD₄).₃₈₇C₂² = C₄².₂₆₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).387C2^2	128,1940
(C₂²xD₄).₃₈₈C₂² = C₄².₂₆₉D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).388C2^2	128,1943
(C₂²xD₄).₃₈₉C₂² = C₄².₂₇₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).389C2^2	128,1945
(C₂²xD₄).₃₉₀C₂² = C₄².₂₇₃D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).390C2^2	128,1947
(C₂²xD₄).₃₉₁C₂² = C₄².₂₇₅D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).391C2^2	128,1949
(C₂²xD₄).₃₉₂C₂² = C₄².₄₀₆C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).392C2^2	128,1952
(C₂²xD₄).₃₉₃C₂² = C₄².₄₀₈C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).393C2^2	128,1954
(C₂²xD₄).₃₉₄C₂² = C₄².₄₁₀C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).394C2^2	128,1956
(C₂²xD₄).₃₉₅C₂² = SD₁₆:D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).395C2^2	128,1997
(C₂²xD₄).₃₉₆C₂² = SD₁₆:₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).396C2^2	128,1998
(C₂²xD₄).₃₉₇C₂² = D₈:₁₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).397C2^2	128,1999
(C₂²xD₄).₃₉₈C₂² = SD₁₆:₇D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).398C2^2	128,2000
(C₂²xD₄).₃₉₉C₂² = D₈:₄D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).399C2^2	128,2004
(C₂²xD₄).₄₀₀C₂² = SD₁₆:₁D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).400C2^2	128,2006
(C₂²xD₄).₄₀₁C₂² = SD₁₆:₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).401C2^2	128,2007
(C₂²xD₄).₄₀₂C₂² = D₈:₁₂D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).402C2^2	128,2012
(C₂²xD₄).₄₀₃C₂² = D₄xSD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).403C2^2	128,2013
(C₂²xD₄).₄₀₄C₂² = SD₁₆:₁₀D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).404C2^2	128,2014
(C₂²xD₄).₄₀₅C₂² = D₄:₄D₈	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).405C2^2	128,2026
(C₂²xD₄).₄₀₆C₂² = D₄:₇SD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).406C2^2	128,2027
(C₂²xD₄).₄₀₇C₂² = C₄².₄₆₁C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).407C2^2	128,2028
(C₂²xD₄).₄₀₈C₂² = C₄².₄₆₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).408C2^2	128,2029
(C₂²xD₄).₄₀₉C₂² = C₄².₄₁C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).409C2^2	128,2038
(C₂²xD₄).₄₁₀C₂² = C₄².₄₅C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).410C2^2	128,2042
(C₂²xD₄).₄₁₁C₂² = C₄².₄₆C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).411C2^2	128,2043
(C₂²xD₄).₄₁₂C₂² = C₄².₄₉C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).412C2^2	128,2046
(C₂²xD₄).₄₁₃C₂² = C₄².₅₃C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).413C2^2	128,2050
(C₂²xD₄).₄₁₄C₂² = C₄².₅₄C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).414C2^2	128,2051
(C₂²xD₄).₄₁₅C₂² = C₄².₄₇₁C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).415C2^2	128,2054
(C₂²xD₄).₄₁₆C₂² = C₄².₄₇₂C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).416C2^2	128,2055
(C₂²xD₄).₄₁₇C₂² = C₄².₄₇₃C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).417C2^2	128,2056
(C₂²xD₄).₄₁₈C₂² = C₄².₄₇₄C₂³	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).418C2^2	128,2057
(C₂²xD₄).₄₁₉C₂² = C₂xC₂².₃₁C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).419C2^2	128,2180
(C₂²xD₄).₄₂₀C₂² = C₂xC₂².₃₄C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).420C2^2	128,2184
(C₂²xD₄).₄₂₁C₂² = C₂xC₂².₃₆C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).421C2^2	128,2186
(C₂²xD₄).₄₂₂C₂² = C₂xQ₈:₆D₄	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).422C2^2	128,2199
(C₂²xD₄).₄₂₃C₂² = C₂xC₂².₄₉C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).423C2^2	128,2205
(C₂²xD₄).₄₂₄C₂² = C₂².₈₀C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).424C2^2	128,2223
(C₂²xD₄).₄₂₅C₂² = C₂².₈₃C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).425C2^2	128,2226
(C₂²xD₄).₄₂₆C₂² = C₂².₈₉C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).426C2^2	128,2232
(C₂²xD₄).₄₂₇C₂² = C₂².₉₇C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).427C2^2	128,2240
(C₂²xD₄).₄₂₈C₂² = C₂².₉₉C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).428C2^2	128,2242
(C₂²xD₄).₄₂₉C₂² = C₂².₁₀₂C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).429C2^2	128,2245
(C₂²xD₄).₄₃₀C₂² = C₂².₁₀₃C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).430C2^2	128,2246
(C₂²xD₄).₄₃₁C₂² = C₂².₁₁₀C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).431C2^2	128,2253
(C₂²xD₄).₄₃₂C₂² = C₂xC₂⁴:C₂²	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).432C2^2	128,2258
(C₂²xD₄).₄₃₃C₂² = C₂xC₂².₅₆C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).433C2^2	128,2259
(C₂²xD₄).₄₃₄C₂² = C₂xC₂².₅₇C₂⁴	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	64		(C2^2xD4).434C2^2	128,2260
(C₂²xD₄).₄₃₅C₂² = C₂².₁₂₂C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).435C2^2	128,2265
(C₂²xD₄).₄₃₆C₂² = C₂².₁₂₄C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).436C2^2	128,2267
(C₂²xD₄).₄₃₇C₂² = C₂².₁₂₅C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).437C2^2	128,2268
(C₂²xD₄).₄₃₈C₂² = C₂².₁₃₅C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).438C2^2	128,2278
(C₂²xD₄).₄₃₉C₂² = C₂².₁₄₀C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).439C2^2	128,2283
(C₂²xD₄).₄₄₀C₂² = C₂².₁₄₉C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).440C2^2	128,2292
(C₂²xD₄).₄₄₁C₂² = C₂².₁₅₀C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).441C2^2	128,2293
(C₂²xD₄).₄₄₂C₂² = C₂².₁₅₁C₂⁵	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).442C2^2	128,2294
(C₂²xD₄).₄₄₃C₂² = C₂xD₄oSD₁₆	φ: C₂²/C₁ → C₂² ⊆ Out C₂²xD₄	32		(C2^2xD4).443C2^2	128,2314
(C₂²xD₄).₄₄₄C₂² = C₄xC₂³:C₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).444C2^2	128,486
(C₂²xD₄).₄₄₅C₂² = C₄xC₄.D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).445C2^2	128,487
(C₂²xD₄).₄₄₆C₂² = C₄xD₄:C₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).446C2^2	128,492
(C₂²xD₄).₄₄₇C₂² = D₄:C₄²	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).447C2^2	128,494
(C₂²xD₄).₄₄₈C₂² = C₂⁵:C₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	16		(C2^2xD4).448C2^2	128,513
(C₂²xD₄).₄₄₉C₂² = C₂⁴.₁₆₅C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).449C2^2	128,514
(C₂²xD₄).₄₅₀C₂² = C₂⁵.C₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	16		(C2^2xD4).450C2^2	128,515
(C₂²xD₄).₄₅₁C₂² = (C₂³xC₄).C₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).451C2^2	128,517
(C₂²xD₄).₄₅₂C₂² = C₂³.₃₅D₈	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).452C2^2	128,518
(C₂²xD₄).₄₅₃C₂² = C₂⁴.₆₅D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).453C2^2	128,520
(C₂²xD₄).₄₅₄C₂² = C₂⁴.₁₆₇C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).454C2^2	128,531
(C₂²xD₄).₄₅₅C₂² = C₄².₉₆D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).455C2^2	128,532
(C₂²xD₄).₄₅₆C₂² = C₄².₉₈D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).456C2^2	128,534
(C₂²xD₄).₄₅₇C₂² = C₄².₁₀₀D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).457C2^2	128,536
(C₂²xD₄).₄₅₈C₂² = C₂.(C₄xD₈)	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).458C2^2	128,594
(C₂²xD₄).₄₅₉C₂² = D₄:(C₄:C₄)	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).459C2^2	128,596
(C₂²xD₄).₄₆₀C₂² = (C₂xSD₁₆):₁₄C₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).460C2^2	128,609
(C₂²xD₄).₄₆₁C₂² = (C₂xC₄):₉D₈	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).461C2^2	128,611
(C₂²xD₄).₄₆₂C₂² = C₂xC₂³.₂₃D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).462C2^2	128,1019
(C₂²xD₄).₄₆₃C₂² = C₄²:₄₂D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).463C2^2	128,1022
(C₂²xD₄).₄₆₄C₂² = C₂xC₂⁴.₃C₂²	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).464C2^2	128,1024
(C₂²xD₄).₄₆₅C₂² = C₄³:₉C₂	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).465C2^2	128,1025
(C₂²xD₄).₄₆₆C₂² = C₂³.₁₇₉C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).466C2^2	128,1029
(C₂²xD₄).₄₆₇C₂² = C₄xC₂²wrC₂	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).467C2^2	128,1031
(C₂²xD₄).₄₆₈C₂² = C₄xC₄:D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).468C2^2	128,1032
(C₂²xD₄).₄₆₉C₂² = C₄xC₂².D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).469C2^2	128,1033
(C₂²xD₄).₄₇₀C₂² = C₄xC₄.₄D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).470C2^2	128,1035
(C₂²xD₄).₄₇₁C₂² = C₄xC₄:₁D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).471C2^2	128,1038
(C₂²xD₄).₄₇₂C₂² = C₂⁴.₉₀D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).472C2^2	128,1040
(C₂²xD₄).₄₇₃C₂² = C₂³.₁₉₁C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).473C2^2	128,1041
(C₂²xD₄).₄₇₄C₂² = C₂⁴.₅₄₂C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).474C2^2	128,1043
(C₂²xD₄).₄₇₅C₂² = C₂⁴.₅₄₇C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).475C2^2	128,1050
(C₂²xD₄).₄₇₆C₂² = C₂³.₂₀₁C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).476C2^2	128,1051
(C₂²xD₄).₄₇₇C₂² = C₂⁴.₁₉₅C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).477C2^2	128,1054
(C₂²xD₄).₄₇₈C₂² = C₂⁴.₁₉₈C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).478C2^2	128,1057
(C₂²xD₄).₄₇₉C₂² = C₄².₁₆₀D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).479C2^2	128,1058
(C₂²xD₄).₄₈₀C₂² = C₂³.₂₂₃C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).480C2^2	128,1073
(C₂²xD₄).₄₈₁C₂² = C₂³.₂₃₄C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).481C2^2	128,1084
(C₂²xD₄).₄₈₂C₂² = C₂³.₂₃₅C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).482C2^2	128,1085
(C₂²xD₄).₄₈₃C₂² = C₂³.₂₃₆C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).483C2^2	128,1086
(C₂²xD₄).₄₈₄C₂² = C₂⁴.₂₁₂C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).484C2^2	128,1089
(C₂²xD₄).₄₈₅C₂² = C₂³.₂₄₀C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).485C2^2	128,1090
(C₂²xD₄).₄₈₆C₂² = C₂³.₂₄₁C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).486C2^2	128,1091
(C₂²xD₄).₄₈₇C₂² = C₂⁴.₂₁₅C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).487C2^2	128,1093
(C₂²xD₄).₄₈₈C₂² = C₂⁴.₂₁₇C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).488C2^2	128,1095
(C₂²xD₄).₄₈₉C₂² = C₂⁴.₂₁₈C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).489C2^2	128,1096
(C₂²xD₄).₄₉₀C₂² = C₂⁴.₂₁₉C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).490C2^2	128,1098
(C₂²xD₄).₄₉₁C₂² = C₂⁴.₂₂₀C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).491C2^2	128,1099
(C₂²xD₄).₄₉₂C₂² = C₂xC₂³.₁₀D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).492C2^2	128,1118
(C₂²xD₄).₄₉₃C₂² = C₂³.₂₈₈C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).493C2^2	128,1120
(C₂²xD₄).₄₉₄C₂² = C₄²:₁₅D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).494C2^2	128,1124
(C₂²xD₄).₄₉₅C₂² = C₂³.₂₉₅C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).495C2^2	128,1127
(C₂²xD₄).₄₉₆C₂² = C₄²:₁₆D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).496C2^2	128,1129
(C₂²xD₄).₄₉₇C₂² = C₄².₁₆₃D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).497C2^2	128,1130
(C₂²xD₄).₄₉₈C₂² = C₂⁴.₉₄D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).498C2^2	128,1137
(C₂²xD₄).₄₉₉C₂² = C₂⁴.₂₄₃C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).499C2^2	128,1138
(C₂²xD₄).₅₀₀C₂² = C₂⁴.₂₄₄C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).500C2^2	128,1139
(C₂²xD₄).₅₀₁C₂² = C₂³.₃₀₉C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).501C2^2	128,1141
(C₂²xD₄).₅₀₂C₂² = C₂⁴.₂₄₉C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).502C2^2	128,1146
(C₂²xD₄).₅₀₃C₂² = C₂³.₃₁₅C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).503C2^2	128,1147
(C₂²xD₄).₅₀₄C₂² = C₂⁴.₂₅₂C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).504C2^2	128,1149
(C₂²xD₄).₅₀₅C₂² = C₂⁴.₅₆₃C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).505C2^2	128,1151
(C₂²xD₄).₅₀₆C₂² = C₂⁴.₂₅₈C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).506C2^2	128,1157
(C₂²xD₄).₅₀₇C₂² = C₂⁴.₂₆₄C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).507C2^2	128,1164
(C₂²xD₄).₅₀₈C₂² = C₂³.₃₃₅C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).508C2^2	128,1167
(C₂²xD₄).₅₀₉C₂² = C₂⁴.₂₇₁C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).509C2^2	128,1179
(C₂²xD₄).₅₁₀C₂² = C₂³.₃₄₉C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).510C2^2	128,1181
(C₂²xD₄).₅₁₁C₂² = C₂³.₃₅₀C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).511C2^2	128,1182
(C₂²xD₄).₅₁₂C₂² = C₂³.₃₅₂C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).512C2^2	128,1184
(C₂²xD₄).₅₁₃C₂² = C₂³.₃₅₄C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).513C2^2	128,1186
(C₂²xD₄).₅₁₄C₂² = C₂⁴.₂₇₆C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).514C2^2	128,1187
(C₂²xD₄).₅₁₅C₂² = C₂³.₃₅₆C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).515C2^2	128,1188
(C₂²xD₄).₅₁₆C₂² = C₂⁴.₂₇₈C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).516C2^2	128,1189
(C₂²xD₄).₅₁₇C₂² = C₂³.₃₅₉C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).517C2^2	128,1191
(C₂²xD₄).₅₁₈C₂² = C₂³.₃₆₀C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).518C2^2	128,1192
(C₂²xD₄).₅₁₉C₂² = C₂⁴.₂₈₃C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).519C2^2	128,1195
(C₂²xD₄).₅₂₀C₂² = C₂⁴.₂₈₆C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).520C2^2	128,1198
(C₂²xD₄).₅₂₁C₂² = C₂³.₃₆₇C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).521C2^2	128,1199
(C₂²xD₄).₅₂₂C₂² = C₂³.₃₆₈C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).522C2^2	128,1200
(C₂²xD₄).₅₂₃C₂² = C₂³.₃₈₅C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).523C2^2	128,1217
(C₂²xD₄).₅₂₄C₂² = C₂⁴.₂₉₉C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).524C2^2	128,1218
(C₂²xD₄).₅₂₅C₂² = C₂⁴.₃₀₀C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).525C2^2	128,1219
(C₂²xD₄).₅₂₆C₂² = C₄²:₁₇D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).526C2^2	128,1267
(C₂²xD₄).₅₂₇C₂² = C₄².₁₆₅D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).527C2^2	128,1268
(C₂²xD₄).₅₂₈C₂² = C₄².₁₆₆D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).528C2^2	128,1270
(C₂²xD₄).₅₂₉C₂² = C₄².₁₆₇D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).529C2^2	128,1274
(C₂²xD₄).₅₃₀C₂² = C₄².₁₇₀D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).530C2^2	128,1279
(C₂²xD₄).₅₃₁C₂² = C₄².₁₇₂D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).531C2^2	128,1294
(C₂²xD₄).₅₃₂C₂² = C₄².₁₇₃D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).532C2^2	128,1295
(C₂²xD₄).₅₃₃C₂² = C₂⁴.₅₈₃C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).533C2^2	128,1296
(C₂²xD₄).₅₃₄C₂² = C₄².₁₇₅D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).534C2^2	128,1298
(C₂²xD₄).₅₃₅C₂² = C₂³.₄₇₉C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).535C2^2	128,1311
(C₂²xD₄).₅₃₆C₂² = C₄².₁₇₈D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).536C2^2	128,1312
(C₂²xD₄).₅₃₇C₂² = C₂³.₅₀₀C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).537C2^2	128,1332
(C₂²xD₄).₅₃₈C₂² = C₂³.₅₀₂C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).538C2^2	128,1334
(C₂²xD₄).₅₃₉C₂² = C₂⁴.₃₆₁C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).539C2^2	128,1348
(C₂²xD₄).₅₄₀C₂² = C₂³.₅₃₀C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).540C2^2	128,1362
(C₂²xD₄).₅₄₁C₂² = C₄²:₂₉D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).541C2^2	128,1363
(C₂²xD₄).₅₄₂C₂² = C₄².₁₉₀D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).542C2^2	128,1365
(C₂²xD₄).₅₄₃C₂² = C₂³.₅₃₅C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).543C2^2	128,1367
(C₂²xD₄).₅₄₄C₂² = C₄²:₃₀D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).544C2^2	128,1368
(C₂²xD₄).₅₄₅C₂² = C₂⁴.₃₇₄C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).545C2^2	128,1370
(C₂²xD₄).₅₄₆C₂² = C₂²xC₂³:C₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).546C2^2	128,1613
(C₂²xD₄).₅₄₇C₂² = C₂xC₂³.C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).547C2^2	128,1614
(C₂²xD₄).₅₄₈C₂² = C₂²xC₄.D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).548C2^2	128,1617
(C₂²xD₄).₅₄₉C₂² = C₂xM₄(2).₈C₂²	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).549C2^2	128,1619
(C₂²xD₄).₅₅₀C₂² = C₂²xD₄:C₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).550C2^2	128,1622
(C₂²xD₄).₅₅₁C₂² = C₂xC₂³.₂₄D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).551C2^2	128,1624
(C₂²xD₄).₅₅₂C₂² = C₂xC₂³.₃₇D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).552C2^2	128,1625
(C₂²xD₄).₅₅₃C₂² = C₂xC₂³.₃₆D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).553C2^2	128,1627
(C₂²xD₄).₅₅₄C₂² = C₂⁴.₉₈D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).554C2^2	128,1628
(C₂²xD₄).₅₅₅C₂² = C₂xC₄xD₈	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).555C2^2	128,1668
(C₂²xD₄).₅₅₆C₂² = C₂xC₄xSD₁₆	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).556C2^2	128,1669
(C₂²xD₄).₅₅₇C₂² = C₂xSD₁₆:C₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).557C2^2	128,1672
(C₂²xD₄).₅₅₈C₂² = C₂xD₈:C₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).558C2^2	128,1674
(C₂²xD₄).₅₅₉C₂² = C₄xC₈:C₂²	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).559C2^2	128,1676
(C₂²xD₄).₅₆₀C₂² = C₂xC₂²:SD₁₆	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).560C2^2	128,1729
(C₂²xD₄).₅₆₁C₂² = C₂xD₄.₇D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).561C2^2	128,1733
(C₂²xD₄).₅₆₂C₂² = C₂⁴.₁₀₃D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).562C2^2	128,1734
(C₂²xD₄).₅₆₃C₂² = C₂⁴.₁₇₇D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	16		(C2^2xD4).563C2^2	128,1735
(C₂²xD₄).₅₆₄C₂² = C₂⁴.₁₀₄D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).564C2^2	128,1737
(C₂²xD₄).₅₆₅C₂² = C₂⁴.₁₀₆D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).565C2^2	128,1739
(C₂²xD₄).₅₆₆C₂² = C₂xD₄.D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).566C2^2	128,1762
(C₂²xD₄).₅₆₇C₂² = C₄².₂₁₁D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).567C2^2	128,1768
(C₂²xD₄).₅₆₈C₂² = C₂xD₄:Q₈	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).568C2^2	128,1802
(C₂²xD₄).₅₆₉C₂² = C₂xD₄:₂Q₈	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).569C2^2	128,1803
(C₂²xD₄).₅₇₀C₂² = C₂xD₄.Q₈	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).570C2^2	128,1804
(C₂²xD₄).₅₇₁C₂² = C₄².₂₁₉D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).571C2^2	128,1809
(C₂²xD₄).₅₇₂C₂² = C₄².₂₂₁D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).572C2^2	128,1832
(C₂²xD₄).₅₇₃C₂² = C₄².₂₂₂D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).573C2^2	128,1833
(C₂²xD₄).₅₇₄C₂² = C₄².₂₂₅D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).574C2^2	128,1837
(C₂²xD₄).₅₇₅C₂² = C₄².₂₂₇D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).575C2^2	128,1841
(C₂²xD₄).₅₇₆C₂² = C₄².₂₂₈D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).576C2^2	128,1842
(C₂²xD₄).₅₇₇C₂² = C₄².₂₃₂D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).577C2^2	128,1846
(C₂²xD₄).₅₇₈C₂² = C₂xC₂².₁₁C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).578C2^2	128,2157
(C₂²xD₄).₅₇₉C₂² = C₂².₁₄C₂⁵	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).579C2^2	128,2160
(C₂²xD₄).₅₈₀C₂² = C₄x2₊¹⁺⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).580C2^2	128,2161
(C₂²xD₄).₅₈₁C₂² = C₂²xC₂².D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).581C2^2	128,2166
(C₂²xD₄).₅₈₂C₂² = C₂²xC₄.₄D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).582C2^2	128,2168
(C₂²xD₄).₅₈₃C₂² = C₂xC₂³.₃₆C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).583C2^2	128,2171
(C₂²xD₄).₅₈₄C₂² = C₂xC₂².₂₆C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).584C2^2	128,2174
(C₂²xD₄).₅₈₅C₂² = C₂xC₂³.₃₈C₂³	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).585C2^2	128,2179
(C₂²xD₄).₅₈₆C₂² = C₂xC₂².₃₃C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).586C2^2	128,2183
(C₂²xD₄).₅₈₇C₂² = C₂².₄₈C₂⁵	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).587C2^2	128,2191
(C₂²xD₄).₅₈₈C₂² = C₂².₄₉C₂⁵	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).588C2^2	128,2192
(C₂²xD₄).₅₈₉C₂² = C₂xQ₈:₅D₄	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).589C2^2	128,2197
(C₂²xD₄).₅₉₀C₂² = C₂xC₂².₄₅C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).590C2^2	128,2201
(C₂²xD₄).₅₉₁C₂² = C₂xC₂².₄₆C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).591C2^2	128,2202
(C₂²xD₄).₅₉₂C₂² = C₂xC₂².₄₇C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).592C2^2	128,2203
(C₂²xD₄).₅₉₃C₂² = C₂xC₂².₅₀C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).593C2^2	128,2206
(C₂²xD₄).₅₉₄C₂² = C₂².₆₄C₂⁵	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).594C2^2	128,2207
(C₂²xD₄).₅₉₅C₂² = C₂xC₂².₅₃C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).595C2^2	128,2211
(C₂²xD₄).₅₉₆C₂² = C₂².₇₀C₂⁵	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).596C2^2	128,2213
(C₂²xD₄).₅₉₇C₂² = C₂².₇₆C₂⁵	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).597C2^2	128,2219
(C₂²xD₄).₅₉₈C₂² = C₂².₇₈C₂⁵	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).598C2^2	128,2221
(C₂²xD₄).₅₉₉C₂² = C₂².₉₀C₂⁵	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).599C2^2	128,2233
(C₂²xD₄).₆₀₀C₂² = C₂².₉₅C₂⁵	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).600C2^2	128,2238
(C₂²xD₄).₆₀₁C₂² = C₂³.₁₄₄C₂⁴	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	32		(C2^2xD4).601C2^2	128,2252
(C₂²xD₄).₆₀₂C₂² = C₂³xSD₁₆	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).602C2^2	128,2307
(C₂²xD₄).₆₀₃C₂² = C₂²xC₄oD₈	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).603C2^2	128,2309
(C₂²xD₄).₆₀₄C₂² = C₂²xC₈.C₂²	φ: C₂²/C₂ → C₂ ⊆ Out C₂²xD₄	64		(C2^2xD4).604C2^2	128,2311
(C₂²xD₄).₆₀₅C₂² = D₄xC₄²	φ: trivial image	64		(C2^2xD4).605C2^2	128,1003
(C₂²xD₄).₆₀₆C₂² = D₄:₄C₄²	φ: trivial image	64		(C2^2xD4).606C2^2	128,1007
(C₂²xD₄).₆₀₇C₂² = D₄xC₂²:C₄	φ: trivial image	32		(C2^2xD4).607C2^2	128,1070
(C₂²xD₄).₆₀₈C₂² = C₂⁴.₅₄₉C₂³	φ: trivial image	64		(C2^2xD4).608C2^2	128,1071
(C₂²xD₄).₆₀₉C₂² = D₄xC₄:C₄	φ: trivial image	64		(C2^2xD4).609C2^2	128,1080
(C₂²xD₄).₆₁₀C₂² = C₂³.₂₃₁C₂⁴	φ: trivial image	64		(C2^2xD4).610C2^2	128,1081
(C₂²xD₄).₆₁₁C₂² = D₄xC₂²xC₄	φ: trivial image	64		(C2^2xD4).611C2^2	128,2154
(C₂²xD₄).₆₁₂C₂² = C₂xC₄xC₄oD₄	φ: trivial image	64		(C2^2xD4).612C2^2	128,2156
(C₂²xD₄).₆₁₃C₂² = C₂xC₂³.₃₃C₂³	φ: trivial image	64		(C2^2xD4).613C2^2	128,2159
(C₂²xD₄).₆₁₄C₂² = C₂xD₄:₆D₄	φ: trivial image	64		(C2^2xD4).614C2^2	128,2196
(C₂²xD₄).₆₁₅C₂² = C₂xD₄xQ₈	φ: trivial image	64		(C2^2xD4).615C2^2	128,2198
(C₂²xD₄).₆₁₆C₂² = C₂xD₄:₃Q₈	φ: trivial image	64		(C2^2xD4).616C2^2	128,2204
(C₂²xD₄).₆₁₇C₂² = C₂²x2_-¹⁺⁴	φ: trivial image	64		(C2^2xD4).617C2^2	128,2324

Extensions 1→N→G→Q→1 with N=C22xD4 and Q=C22

Extensions 1→N→G→Q→1 with N=C₂²xD₄ and Q=C₂²